Computational logic - PDFSEARCH.IO - Document Search Engine

Computational logic
Results: 652

#	Item
101	A Probabilistic Approach to Knowledge Translation Shangpu Jiang and Daniel Lowd and Dejing Dou arXiv:1507.03181v1 [cs.AI] 12 JulComputer and Information Science Add to Reading List Source URL: arxiv.org Language: English - Date: 2015-07-13 20:34:19 Statistics Data management Statistical models Data Information Bayesian statistics Graphical models Computational statistics Schema matching Markov logic network Database schema Bayesian network
102	http://arxiv.org/absFrom Machine Learning to Machine Reasoning Léon Bottou Add to Reading List Source URL: arxiv.org Language: English - Date: 2011-02-13 20:00:48 Artificial intelligence Logic Cognition Artificial neural networks Reasoning Computational neuroscience Machine learning Deep learning Word embedding Reasoning system Probabilistic logic Structured prediction
103	Appears in International Journal On Semantic Web and Information Systems - Special Issue on Web-Scale Knowledge Extraction, 2012 Elementary: Large-scale Knowledge-base Construction via Machine Learning and Statistical I Add to Reading List Source URL: www.cs.stanford.edu Language: English - Date: 2013-07-22 00:25:34 Logic Artificial intelligence Cognition Machine learning Computational linguistics Natural language processing Structured prediction Markov logic network Inference Logic form Probabilistic logic Statistical classification
104	9. References. 1. The Axiomatic Translation Principle for Modal LogicSchmidt, R. and Hustadt, U. Transactions on Computational Logic, C Programming: A Modern ApproachKing, K. Norton & Co. 3. Ja Add to Reading List Source URL: project.kjsmith.net Language: English - Date: 2008-09-02 15:24:26
105	Template-based circuit understanding Adri`a Gasc´on∗ , Pramod Subramanyan† , Bruno Dutertre∗ , Ashish Tiwari∗ Dejan Jovanovi´c∗ , Sharad Malik† ∗ SRI International , , Add to Reading List Source URL: yices.csl.sri.com Language: English - Date: 2015-12-11 18:43:06 Computational complexity theory Theoretical computer science Theory of computation Logic in computer science Formal methods Boolean algebra Complexity classes Electronic design automation Satisfiability modulo theories True quantified Boolean formula FO NC
106	matt_gerber_dissertation.dvi Add to Reading List Source URL: ptl.sys.virginia.edu Language: English - Date: 2013-02-20 15:32:56 Grammar Linguistics Logic Semantics Syntax Arguments Critical thinking Computational linguistics Predicate Semantic role labeling Lexical semantics Selection
107	Content Extraction Using Diverse Feature Sets Matthew E. Peters Dan Lecocq SEOmoz Add to Reading List Source URL: www2013.wwwconference.org Language: English - Date: 2014-07-21 08:47:02 Computational linguistics Algorithm Mathematical logic Theoretical computer science Data mining Information science Academia Natural language processing Mathematics Document clustering Automatic summarization
108	What is Logic, and why should I care? Computational Modal Logics I I Add to Reading List Source URL: hylocore.ruc.dk Language: English - Date: 2013-05-29 03:25:18
109	CSL Technical Report SRI-CSL-06-01 • May 23, 2006 Integrating Simplex with DPLL(T ) Bruno Dutertre and Leonardo de Moura This report is based upon work supported by the Defense Advanced Research Projects Add to Reading List Source URL: yices.csl.sri.com Language: English - Date: 2015-12-11 18:43:06 Theoretical computer science Computational complexity theory Mathematics Electronic design automation Formal methods Logic in computer science NP-complete problems Constraint programming Satisfiability modulo theories Boolean satisfiability problem Solver Simplex algorithm

UPDATE